domain assumption

基础假设;范畴假设